Gargantini, Angelo: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A model advisor for NuSMV specifications

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene

Journal:

Innovations in Systems and Software Engineering

Year:

2011

Language:

english

File:

PDF, 224 KB

english, 2011

2

Modelâbased hypothesis testing of uncertain software systems

Camilli, Matteo, Gargantini, Angelo, Scandurra, Patrizia

Journal:

Software Testing, Verification and Reliability

Year:

2020

File:

PDF, 2.17 MB

2020

3

[ACM Press the 12th International Workshop - Madrid, Spain (2018.02.07-2018.02.09)] Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems - VAMOS 2018 - An evolutionary process for product-driven updates of feature models

Arcaini, Paolo, Gargantini, Angelo, Radavelli, Marco

Year:

2018

Language:

english

File:

PDF, 726 KB

english, 2018

4

[IEEE 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Porto, Portugal (2020.10.24-2020.10.28)] 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - An Automated Testing Framework For Smart TV apps Based on Model Separation

Ahmed, Bestoun S., Gargantini, Angelo, Bures, Miroslav

Year:

2020

File:

PDF, 1.10 MB

2020

5

A semantic framework for metamodel-based languages

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra

Journal:

Automated Software Engineering

Year:

2009

Language:

english

File:

PDF, 888 KB

english, 2009

6

[IEEE 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Västerås, Sweden (2018.4.9-2018.4.13)] 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Migrating Combinatorial Interaction Test Modeling and Generation to the Web

Gargantini, Angelo, Radavelli, Marco

Year:

2018

Language:

english

File:

PDF, 1016 KB

english, 2018

7

A model-driven process for engineering a toolset for a formal method

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra

Journal:

Software: Practice and Experience

Year:

2011

Language:

english

File:

PDF, 296 KB

english, 2011

8

Integrating Formal Methods into Medical Software Development: The ASM approach

Arcaini, Paolo, Bonfanti, Silvia, Gargantini, Angelo, Mashkoor, Atif, Riccobene, Elvinia

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 899 KB

english, 2017

9

[IEEE 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Vasteras (2018.4.9-2018.4.13)] 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Generation of C++ Unit Tests from Abstract State Machines Specifications

Bonfanti, Silvia, Gargantini, Angelo, Mashkoor, Atif

Year:

2018

Language:

english

File:

PDF, 204 KB

english, 2018

10

Rigorous development process of a safety-critical system: from ASM models to Java code

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2017

Language:

english

File:

PDF, 2.65 MB

english, 2017

11

[IEEE 2009 Fourth International Conference on Software Engineering Advances (ICSEA) - Porto, Portugal (2009.09.20-2009.09.25)] 2009 Fourth International Conference on Software Engineering Advances - Integrating Formal Methods with Model-Driven Engineering

Gargantini, Angelo, Riccobene, Elvinia, Scandurra, Patrizia

Year:

2009

Language:

english

File:

PDF, 466 KB

english, 2009

12

[ACM Press the 21st International Systems and Software Product Line Conference - Volume A - Sevilla, Spain (2017.09.25-2017.09.29)] Proceedings of the 21st International Systems and Software Product Line Conference - Volume A on - SPLC '17 - Automated Repairing of Variability Models

Arcaini, Paolo, Gargantini, Angelo, Vavassori, Paolo

Year:

2017

Language:

english

File:

PDF, 1.41 MB

english, 2017

13

[IEEE 2013 International Conference on Virtual Rehabilitation (ICVR) - Philadelphia, PA, USA (2013.08.26-2013.08.29)] 2013 International Conference on Virtual Rehabilitation (ICVR) - An environment for contrast-based treatment of amblyopia using 3D technology

Vitali, Andrea, Facoetti, Giancarlo, Gargantini, Angelo

Year:

2013

Language:

english

File:

PDF, 422 KB

english, 2013

14

[IEEE 2009 ICSE Workshop on Automation of Software Test (AST) - Vancouver, BC, Canada (2009.05.18-2009.05.19)] 2009 ICSE Workshop on Automation of Software Test - Experiments on the test case length in specification based test case generation

Fraser, Gordon, Gargantini, Angelo

Year:

2009

Language:

english

File:

PDF, 235 KB

english, 2009

15

[IEEE 2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE) - Memphis, TN (2018.10.15-2018.10.18)] 2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE) - Online Model-Based Testing under Uncertainty

Camilli, Matteo, Bellettini, Carlo, Gargantini, Angelo, Scandurra, Patrizia

Year:

2018

Language:

english

File:

PDF, 44 KB

english, 2018

16

Guest editor’s introduction to the special section on tests and proofs

Gordon Fraser, Angelo Gargantini

Journal:

Software Quality Journal

Year:

2013

Language:

english

File:

PDF, 85 KB

english, 2013

17

[IEEE 2009 International Conference on Software Testing Verification and Validation (ICST) - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing Verification and Validation - An Evaluation of Model Checkers for Specification Based Test Case Generation

Fraser, Gordon, Gargantini, Angelo

Year:

2009

Language:

english

File:

PDF, 280 KB

english, 2009

18

[IEEE 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Austin, TX, USA (2015.9.21-2015.9.23)] 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Formal validation and verification of a medical software critical component

Arcaini, Paolo, Bonfanti, Silvia, Gargantini, Angelo, Mashkoor, Atif, Riccobene, Elvinia

Year:

2015

Language:

english

File:

PDF, 799 KB

english, 2015

19

[ACM Press the 13th European Conference - Paris, France (2019.09.09-2019.09.13)] Proceedings of the 13th European Conference on Software Architecture - ECSA '19 - volume 2 - A formal design of the hybrid European rail traffic management system

Gaspari, Paolo, Riccobene, Elvinia, Gargantini, Angelo

Year:

2019

File:

PDF, 3.16 MB

2019

20

[IEEE 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Porto, Portugal (2020.10.24-2020.10.28)] 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines

Bombarda, Andrea, Gargantini, Angelo

Year:

2020

File:

PDF, 221 KB

2020

21

Decomposition-Based Approach for Model-Based Test Generation

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia

Journal:

IEEE Transactions on Software Engineering

Year:

2017

Language:

english

File:

PDF, 1.41 MB

english, 2017

22

[ACM Press the 13th European Conference - Paris, France (2019.09.09-2019.09.13)] Proceedings of the 13th European Conference on Software Architecture - ECSA '19 - volume 2 - A formal design of the hybrid European rail traffic management system

Gaspari, Paolo, Riccobene, Elvinia, Gargantini, Angelo

Year:

2019

Language:

english

File:

PDF, 3.16 MB

english, 2019

23

[ACM Press the 3rd 2015 Workshop - Lisbon, Portugal (2015.10.01-2015.10.02)] Proceedings of the 3rd 2015 Workshop on ICTs for improving Patients Rehabilitation Research Techniques - REHAB '15 - A Low-cost Virtual Reality Game for Amblyopia Rehabilitation

Gargantini, Angelo, Terzi, Fabio, Zambelli, Matteo, Bonfanti, Silvia

Year:

2015

Language:

english

File:

PDF, 1018 KB

english, 2015

24

Fault-based test generation for regular expressions by mutation

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia

Journal:

Software Testing, Verification and Reliability

Year:

2018

Language:

english

File:

PDF, 7.87 MB

english, 2018

25

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Generating Minimal Fault Detecting Test Suites for Boolean Expressions

Fraser, Gordon, Gargantini, Angelo

Year:

2010

Language:

english

File:

PDF, 324 KB

english, 2010

26

[Lecture Notes in Computer Science] Abstract State Machines 2003 Volume 2589 || Experiments with Test Case Generation and Runtime Analysis

Börger, Egon, Gargantini, Angelo, Riccobene, Elvinia

Year:

2003

Language:

english

File:

PDF, 263 KB

english, 2003

27

[IEEE 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Using decision trees to aid algorithm selection in combinatorial interaction tests generation

Gargantini, Angelo, Vavassori, Paolo

Year:

2015

Language:

english

File:

PDF, 2.83 MB

english, 2015

28

[IEEE 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Chicago, IL, USA (2016.4.11-2016.4.15)] 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Combinatorial Testing: From Algorithms to Applications

Gargantini, Angelo, Tzoref-Brill, Rachel

Year:

2016

Language:

english

File:

PDF, 204 KB

english, 2016

29

[IEEE 2020 IEEE International Conference On Artificial Intelligence Testing (AITest) - Oxford, United Kingdom (2020.8.3-2020.8.6)] 2020 IEEE International Conference On Artificial Intelligence Testing (AITest) - Dealing with Robustness of Convolutional Neural Networks for Image Classification

Arcaini, Paolo, Bombarda, Andrea, Bonfanti, Silvia, Gargantini, Angelo

Year:

2020

File:

PDF, 865 KB

2020

30

Intelligent Autonomous Systems

Mashkoor, Atif, Arcaini, Paolo, Gargantini, Angelo

Journal:

Year:

2020

File:

PDF, 846 KB

2020

31

[IEEE 2009 International Conference on Software Testing, Verification, and Validation Workshops - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing, Verification, and Validation Workshops - IPO-s: Incremental Generation of Combinatorial Interaction Test Data Based on Symmetries of Covering Arrays

Calvagna, Andrea, Gargantini, Angelo

Year:

2009

Language:

english

File:

PDF, 252 KB

english, 2009

32

[Lecture Notes in Computer Science] Abstract State Machines 2003 Volume 2589 || Using ASM Specifications for Compiler Testing

Börger, Egon, Gargantini, Angelo, Riccobene, Elvinia

Year:

2003

Language:

english

File:

PDF, 38 KB

english, 2003

33

A systematic literature review of the use of formal methods in medical software systems

Bonfanti, Silvia, Gargantini, Angelo, Mashkoor, Atif

Journal:

Journal of Software Evolution and Process

Year:

2018

Language:

english

File:

PDF, 1.27 MB

english, 2018

34

Code-aware combinatorial interaction testing

Ahmed, Bestoun S., Gargantini, Angelo, Zamli, Kamal Z., Yilmaz, Cemal, Bures, Miroslav, Szeles, Marek

Journal:

Year:

2019

Language:

english

File:

PDF, 1.27 MB

english, 2019

35

[IEEE 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE) - Gaithersbury, MD, USA (2015.11.2-2015.11.5)] 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE) - Specifying and verifying real-time self-adaptive systems

Camilli, Matteo, Gargantini, Angelo, Scandurra, Patrizia

Year:

2015

File:

PDF, 208 KB

2015

36

On the order of test goals in specification-based testing

Gordon Fraser, Angelo Gargantini, Franz Wotawa

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 239 KB

english, 2009

37

[IEEE 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - Windsor, United Kingdom (2009.09.4-2009.09.6)] 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - An Evaluation of Specification Based Test Generation Techniques Using Model Checkers

Fraser, Gordon, Gargantini, Angelo

Year:

2009

Language:

english

File:

PDF, 257 KB

english, 2009

38

A Formal Logic Approach to Constrained Combinatorial Testing

Andrea Calvagna, Angelo Gargantini

Journal:

Journal of Automated Reasoning

Year:

2010

Language:

english

File:

PDF, 627 KB

english, 2010

39

[Lecture Notes in Computer Science] Abstract State Machines 2003 Volume 2589 || Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines

Börger, Egon, Gargantini, Angelo, Riccobene, Elvinia

Year:

2003

Language:

english

File:

PDF, 473 KB

english, 2003

40

[ACM Press the 17th international doctoral symposium - Bertinoro, Italy (2012.06.25-2012.06.28)] Proceedings of the 17th international doctoral symposium on Components and Architecture - WCOP '12 - Components monitoring through formal specifications

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia

Year:

2012

Language:

english

File:

PDF, 1.03 MB

english, 2012

41

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Combinatorial Interaction Testing for Automated Constraint Repair

Gargantini, Angelo, Petke, Justyna, Radavelli, Marco

Year:

2017

Language:

english

File:

PDF, 999 KB

english, 2017

42

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia

Year:

2013

Language:

english

File:

PDF, 345 KB

english, 2013

43

A novel use of equivalent mutants for static anomaly detection in software artifacts

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia, Vavassori, Paolo

Journal:

Information and Software Technology

Year:

2016

Language:

english

File:

PDF, 963 KB

english, 2016

44

Test generation for sequential nets of Abstract State Machines with information passing

Arcaini, Paolo, Gargantini, Angelo

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 846 KB

english, 2014

45

[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - AURORA: AUtomatic RObustness coveRage Analysis Tool

Gargantini, Angelo, Guarnieri, Marco, Magri, Eros

Year:

2013

Language:

english

File:

PDF, 354 KB

english, 2013

46

[IEEE 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Generating Tests for Detecting Faults in Feature Models

Arcaini, Paolo, Gargantini, Angelo, Vavassori, Paolo

Year:

2015

Language:

english

File:

PDF, 596 KB

english, 2015

47

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia

Year:

2017

Language:

english

File:

PDF, 385 KB

english, 2017

48

[IEEE 2011 International Conference on Virtual Rehabilitation (ICVR) - Zurich, Switzerland (2011.06.27-2011.06.29)] 2011 International Conference on Virtual Rehabilitation - Using 3D for rebalancing the visual system of amblyopic children

Gargantini, Angelo, Bana, Mariella, Fabiani, Flavia

Year:

2011

Language:

english

File:

PDF, 279 KB

english, 2011

49

Using mutation to assess fault detection capability of model review

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia

Journal:

Software Testing, Verification and Reliability

Year:

2015

Language:

english

File:

PDF, 896 KB

english, 2015

50

[IEEE 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Xi'an, China (2019.4.22-2019.4.23)] 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations

Arcaini, Paolo, Gargantini, Angelo, Radavelli, Marco

Year:

2019

Language:

english

File:

PDF, 321 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски